Formally based tool support for model checking Erlang applicationsQIANG GUO; DERRICK, John.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 4, pp 355-376, issn 1433-2779, 22 p.Article

ToolDAy: a tool for domain analysisBARACHISIO LISBOA, Liana; CARDOSO GARCIA, Vinicius; DE ALMEIDA, Eduardo Santana et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 4, pp 337-353, issn 1433-2779, 17 p.Article

Parallel probabilistic model checking on general purpose graphics processorsBOSNACKI, Dragan; EDELKAMP, Stefan; SULEWSKI, Damian et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 1, pp 21-35, issn 1433-2779, 15 p.Article

Special Section on HVC 2008CHOCKLER, Hana; HU, Alan J.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 3, issn 1433-2779, 88 p.Serial Issue

Evaluating workloads using comparative functional coverageADLER, Yoram; BLUE, Dale; CONTI, Thomas et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 3, pp 207-221, issn 1433-2779, 15 p.Article

Automatic boosting of cross-product coverage using Bayesian networksBARAS, Dorit; FINE, Shai; FOURNIER, Laurent et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 3, pp 247-261, issn 1433-2779, 15 p.Article

Reducing the size of resolution proofs in linear timeBAR-ILAN, Omer; FUHRMANN, Oded; HOORY, Shlomo et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 3, pp 263-272, issn 1433-2779, 10 p.Article

Functional dependencies of C functions via weakest pre-conditionsCUOQ, Pascal; MONATE, Benjamin; PACALET, Anne et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 5, pp 405-417, issn 1433-2779, 13 p.Article

An abort-aware model of transactional programmingETESSAMI, Kousha; GODEFROID, Patrice.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 6, pp 537-551, issn 1433-2779, 15 p.Article

On porting software visualization tools to the webD'AMBROS, Marco; LANZA, Michele; LUNGU, Mircea et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 2, pp 181-200, issn 1433-2779, 20 p.Conference Paper

Synthesis and stochastic assessment of cost-optimal schedulesMADER, Angelika; BOHNENKAMP, Henrik; USENKO, Yaroslav S et al.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 5, pp 305-318, issn 1433-2779, 14 p.Article

Fujaba case studies for GraBaTs 2008: lessons learnedGEIGER, Leif; ZIINDORF, Albert.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 3-4, pp 287-304, issn 1433-2779, 18 p.Conference Paper

Model refactoring using MoTMoTMULIAWAN, Olaf; JANSSENS, Dirk.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 3-4, pp 201-209, issn 1433-2779, 9 p.Conference Paper

Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and morePLAGGE, Daniel; LEUSCHEL, Michael.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 1, pp 9-21, issn 1433-2779, 13 p.Conference Paper

Solving the ignoring problem for partial order reductionEVANGELISTA, Sami; PAJAULT, Christophe.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 2, pp 155-170, issn 1433-2779, 16 p.Conference Paper

Towards an industrial grade IVE for Java and next generation research platform for JMLCHALIN, Patrice; ROBBY; JAMES, Perry R et al.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 6, pp 429-446, issn 1433-2779, 18 p.Conference Paper

Automated implementation of complex distributed algorithms specified in the IOA languageGEORGIOU, Chryssis; LYNCH, Nancy; MAVROMMATIS, Panayiotis et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 2, pp 153-171, issn 1433-2779, 19 p.Article

Bounded model checking of software using SMT solvers instead of SAT solversARMANDO, Alessandro; MANTOVANI, Jacopo; PLATANIA, Lorenzo et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 1, pp 69-83, issn 1433-2779, 15 p.Article

System-on-chip design by proof-based refinementCANSELL, Dominique; MERY, Dominique; PROCH, Cyril et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 3, pp 217-238, issn 1433-2779, 22 p.Article

Solving scheduling problems by untimed model checking: The clinical chemical analyser case studyWIJS, Anton J; VAN DE POL, Jaco C; BORTNIK, Elena M et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 5, pp 375-392, issn 1433-2779, 18 p.Article

Using Bayesian networks and virtual coverage to hit hard-to-reach eventsFINE, Shai; FOURNIER, Laurent; ZIV, Avi et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 4, pp 291-305, issn 1433-2779, 15 p.Conference Paper

PROB : an automated analysis toolset for the B methodLEUSCHEL, Michael; BUTLER, Michael.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 2, pp 185-203, issn 1433-2779, 19 p.Article

A uniform framework for weighted decision diagrams and its implementationOSSOWSKI, Jörn; BAIER, Christel.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 5, pp 425-441, issn 1433-2779, 17 p.Article

FTSyn : a framework for automatic synthesis of fault-toleranceEBNENASIR, Ali; KULKARNI, Sandeep S; ARORA, Anish et al.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 5, pp 455-471, issn 1433-2779, 17 p.Article

Special section on Coloured Petri NetsJENSEN, Kurt.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 1, issn 1433-2779, 110 p.Serial Issue